منابع مشابه
Assume-Guarantee Synthesis
The classical synthesis problem for reactive systems asks, given a proponent process A and an opponent process B, to refine A so that the closed-loop system A||B satisfies a given specification Φ. The solution of this problem requires the computation of a winning strategy for proponent A in a game against opponent B. We define and study the co-synthesis problem, where the proponent A consists i...
متن کاملAsymptotically Admissible Texture Synthesis
Recently there is a resurgent interest in example based texture analysis and synthesis in both computer vision and computer graphics. While study in computer vision is concerned with learning accurate texture models, research in graphics is aimed at effective algorithms for texture synthesis without necessarily obtaining explicit texture model. This paper makes three contributions to this recen...
متن کاملAssume-Guarantee Strategy Synthesis for Stochastic Games
This thesis presents a framework for the automatic strategy synthesis fromquantitative specifications, in order to control autonomous systems. Wemodel systems as turn-based two-player zero-sum stochastic games, whichare able to express both stochastic and nondeterministic environmentaluncertainty. Given a system model and a specification, we define thestrategy synthesis prob...
متن کاملSynthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability
The realizability problem in requirements engineering is to determine the existence of an implementation that meets the given formal requirements. A step forward after realizability is proven, is to construct such an implementation automatically, and thus solve the problem of program synthesis. In this paper, we propose a novel approach to program synthesis guided by k-inductive proofs of reali...
متن کاملAssume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Synthesis of program parts is particularly useful for concurrent systems. However, most approaches do not support common design tasks, like modifying a single process without having to re-synthesize or verify the whole system. Assume-guarantee synthesis (AGS) provides robustness against modifications of system parts, but thus far has been limited to the perfect information setting. This means t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 2016
ISSN: 0001-5903,1432-0525
DOI: 10.1007/s00236-016-0273-2